r:CRng, p:Ideal(r){i}, d:detach_fun(|r|;p), F:(|r / d|
).
(
w:|r / d|. SqStable(F(w))) 
((w:|r / d|. F(w)) 
(w:|r|. F(w))) | 13,42 |
r:CRng, p:Ideal(r){i}, d:detach_fun(|r|;p), F:(|r / d|).
w:|r / d|. SqStable(F(w))) ((w:|r / d|. F(w)) (w:|r|. F(w)))
| Up |